In-system programming - PDFSEARCH.IO - Document Search Engine

In-system programming
Results: 1455

#	Item
51	TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Type theory Data types Formal methods Functional programming Logic in computer science Symbol Satisfiability modulo theories HindleyMilner type system Geoff Sutcliffe Xi Polymorphism Type variable
52	Advances in Programming Languages APL7: Haskell, Types and Classes Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-01-31 23:15:57 Type theory Functional languages Object-oriented programming languages Type systems Data types Haskell Structural type system Duck typing D Type signature OCaml Abstract type
53	A Large Scale Study of Programming Languages and Code Quality in Github Baishakhi Ray, Daryl Posnett, Vladimir Filkov, Premkumar T Devanbu {bairay@, dpposnett@, filkov@cs., devanbu@cs.}ucdavis.edu Department of Computer Add to Reading List Source URL: macbeth.cs.ucdavis.edu Language: English - Date: 2014-09-17 02:26:49 Functional languages Scripting languages Object-oriented programming languages Cross-platform software Concurrent programming languages Software bug Computer programming Type system Clojure JavaScript Programming language Scala
54	Exception Handling in Coordination-based Mobile Environments Alexei Iliasov University of Newcastle upon Tyne Newcastle upon Tyne, UK Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2005-07-08 09:15:01 Parallel computing Concurrent programming languages Control flow Exception handling Tuple space Tuple Linda Multi-agent system
55	Binary Compatibility of Shared Libraries Implemented in C++ on GNU/Linux Systems. Pavel Shved Institute for System Programming, RAS email: Add to Reading List Source URL: syrcose.ispras.ru Language: English - Date: 2009-06-01 08:17:59 C++ Method Virtual method table Backward compatibility Binary code compatibility Portable Executable Binary file Entry point Functional ASCII C dynamic memory allocation
56	VACANCY: SENIOR SOFTWARE DEVELOPER UPDATED: S-PLANE Automation (Pty) Ltd Automation Innovation S-PLANE is an internationally recognised aerospace and defence company specialising in product Add to Reading List Source URL: www.ee.sun.ac.za Language: English - Date: 2016-05-17 09:17:37 Unmanned aerial vehicles Avionics Robotics Wireless Automation System programming
57	Introduction to the Guardol Programming Language and Verification System David Hardin∗ Konrad Slind∗ Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2011-12-15 18:21:30 Logic in computer science Formal methods Procedural programming languages Constraint programming Satisfiability modulo theories Parameter Formal verification Scheme Logic programming ALGOL 68 Decompiler Standard ML
58	Lightweight Session Programming in Scala∗ Alceste Scalas and Nobuko Yoshida Imperial College London, UK — {a.scalas , n.yoshida} @ imperial.ac.uk Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-05-09 14:09:08 Type theory Concurrent programming languages Object-oriented programming Polymorphism Data types Scala Covariance and contravariance Go Type system Type inference Subtyping Form
59	Journal of Computer and System Sciences – 363 www.elsevier.com/locate/jcss Designing seeds for similarity search in genomic DNA Jeremy Buhlera,∗ , Uri Keichb , Yanni Suna a Department of Computer Scienc Add to Reading List Source URL: www.maths.usyd.edu.au Language: English - Date: 2005-12-15 13:57:59 Computational phylogenetics Bioinformatics Markov models Sequence alignment BLAST Markov chain Finite-state machine String searching algorithm Dynamic programming Multiple sequence alignment
60	Polymorphism and Type Inference in Database Programming PETER BUNEMAN University of Pennsylvania and ATSUSHI OHORI Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:17 Type theory Data types Functional programming Object-oriented programming Polymorphism Parametric polymorphism Type inference Type system ML Database Type variable Kind